|
|
|
Carbon Design Systems Joins 0-In's Check-In Partner Program
Partners Will Integrate Easy-to-Use Assertion Automation with
High-Performance Pre-Silicon and System Validation Engine
SAN JOSE, Calif.—(BUSINESS WIRE)—July 29, 2004—
Today, 0-In Design Automation, the Assertion-Based Verification
Company, announced the addition of Carbon Design Systems to the 0-In
Check-In Partner Program. The 0-In Check-In Partner Program provides
EDA partners access to the industry-leading Archer Verification(TM)
system for assertion-based verification (ABV) and formal verification
(FV) to develop solutions that deliver enhanced verification
capabilities to joint customers.
The Archer Verification system's unique assertion synthesis
technology provides the flexibility to choose assertion language,
verification IP, and verification engine that best suit any
verification challenge. This freedom to select best in class
methodologies and tools ensures that customers realize the best
possible return on their investment.
As a result of joining the Check-In Partner Program, Carbon will
be able to integrate the assertions generated by the Archer
Verification system with their DesignPlayer(TM) engine. The
collaboration will enable joint customers to increase productivity by
delivering RTL pre-silicon validation with full observability and the
error detection features of CheckerWare(R), OVL and PSL assertions.
"Today's complex designs require a fast assertion-based
verification environment," said Steve Butler, President and CEO of
Carbon. "Joining 0-In's Check-In program enables us to deliver the
industry's highest-performance RTL engine coupled to 0-In's premier
verification system."
"This partnership allows joint customers to tackle the toughest
verification challenges and find more bugs faster," said Steve White,
president and CEO of 0-In. "Combining the improved observability and
controllability of assertions and FV from 0-In with Carbon's single
engine for hardware, software, and customer design validation will
deliver fast, high-quality verification to joint customers."
About the Check-In Partner Program
Through the Check-In Partner Program, 0-In and its EDA partners
create joint solutions to increase customer productivity. Check-In
Partners receive software, licenses, and support for developing
interoperable assertion solutions with the 0-In Archer
Verification(TM) system. 0-In is committed to supporting the full
range of verification tools, including compiled simulation, test bench
suites, formal verification, simulation acceleration, emulation, and
rapid prototyping.
About Carbon Design Systems
Carbon is delivering software products that enable
high-performance pre-silicon chip and system validation. Carbon's
single engine solution -- DesignPlayer -- can be used for hardware,
software, and customer design validation. The DesignPlayer engine
boosts hardware regression performance and validates drivers,
diagnostics, & firmware up to 50X faster with cycle and register
accuracy. A low-cost executable or linkable model can be deployed
across the enterprise and to customers without the encumbrances of a
slow simulator. For more information, see
http://www.carbondesignsystems.com/.
About 0-In
0-In Design Automation, Inc. (pronounced "zero-in") develops and
supports functional verification products that help verify
multi-million gate application-specific integrated circuit (ASIC) and
system-on-chip (SoC) designs. The company delivers a comprehensive
assertion-based verification (ABV) solution built on industry
standards that provides value throughout the design and verification
cycle -- from the block level to the chip and system levels. Twelve of
the 15 largest electronics companies have adopted 0-In tools and
methodologies in their integrated circuit (IC) design verification
flows. 0-In was founded in 1996 and is based in San Jose, Calif. For
more information, see http://www.0-in.com.
0-In(R) and CheckerWare(R) and Archer Verification(TM) are
registered trademarks of 0-In Design Automation, Inc. All other
trademarks are the property of their respective holders.
Contact:
0-In Design Automation
Neil Hand, 408-487-3646
nhand@0-in.com
or
Cayenne Communication for 0-In Design Automation
Linda Marchant, 919-683-9545
linda.marchant@cayennecom.com
|
|
|